An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
نویسندگان
چکیده
Structured analysis methods for real-time systems (SA/RT) are widely accepted by the industrial world as a mature approach to real-time systems design. These methods use highly expressive graphical speciication languages to specify system requirements. Giving semantics to SA/RT speciications via selected formal models has the advantage of not only retaining their user-friendly and problem-oriented characteristics , but also making good use of the existing results of formal models for easier simulation and more powerful analysis. An automatic translation from SA/RT speciication models to high-level timed Petri nets has recently been reported in 5]. But this translation suuers from some drawbacks , especially that it is not compositional, and the resulting subnets, in some cases, can be of at least exponential complexity. In this paper, we propose an improved translation, which is compositional and the resulting nets are of much lower complexity, e.g. the number of transitions is linear with respect to the scale of the original model. The eecient translation will beneet the simulation and analysis of speciications, and the compositionality of the translation process will support their incremental or modular development and compositional analysis.
منابع مشابه
An Improved Translation of SA/RT Speci cation Model to High-Level Timed Petri Nets
Structured analysis methods for real-time systems (SA/RT) are widely accepted by the industrial world as a mature approach to real-time systems design. These methods use highly expressive graphical speci cation languages to specify system requirements. Giving semantics to SA/RT speci cations via selected formal models has the advantage of not only retaining their user-friendly and problem-orien...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملMapping RT-LOTOS Specifications into Time Petri Nets
RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri nets. It is therefore possible to apply Time Petri nets verification techniques to the profit of RT-LOTOS. Our approach has been implemented in RT...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملAutomatic Translation of the Limited Iptes Sa/sd-rt Physical Model to High-level Timed Petri Nets Author
The objective of the IPTES (In-cremental Prototyping Technology for Embedded Real-Time Systems) project is to develop methodolo-gies, tools and theoretical results on distributed prototyping for real-time systems. IPTES is partially funded by the European Communities under the ESPRIT programme, project nos. EP5570 and EP7811. Document History V1.0 Preliminary Draft version. Initial proposal to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996